Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
641	Classifying and Solving Horn Clauses for Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:12:36 Logic in computer science Automated theorem proving Logic programming Interpolation Video signal Craig interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
642	Dynamic fluid-based scheduling in a multi-class abandonment queue M. Larra˜ naga2,5 , U. Ayesta2,3,4,5 , I.M. Verloop1,5 1 CNRS, IRIT, Toulouse, France. 2 Add to Reading List Source URL: verloop.perso.enseeiht.fr Language: English - Date: 2013-08-01 09:20:46 Operations research Stochastic processes Dynamic programming Queueing theory Optimal control Asymptotically optimal algorithm Markov decision process Fluid queue Prey switching Statistics Mathematical sciences Mathematical optimization
643	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
644	Real-Time Plane-Sweeping Stereo with Multiple Sweeping Directions David Gallup1 , J an -M ic h ae l F rah m 1 , P h ilippo s M o rdo h ai1 , Q in g x io n g Y an g 2 , an d M arc P o lle fe y s 1 1 De partm e n t o f C o Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2012-02-03 00:48:34 Surfaces Mathematical analysis Differential geometry of surfaces Dynamic programming Normal Rendering Plane Tutte polynomial Duality Mathematics Geometry 3D computer graphics
645	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
646 $Applied mathematics / Linear programming / Convex optimization / Combinatorial optimization / Duality / Simplex algorithm / Assignment problem / Constraint / Linear-fractional programming / Mathematical optimization / Operations research / Mathematics$	LINEAR PROGRAMMING A Concise Introduction Thomas S. Ferguson Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.usna.edu Language: English - Date: 2009-01-22 13:46:48 Applied mathematics Linear programming Convex optimization Combinatorial optimization Duality Simplex algorithm Assignment problem Constraint Linear-fractional programming Mathematical optimization Operations research Mathematics
647	Towards a Principled General Approach to Motion Planning under Uncertainty David Hsu National University of Singapore Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:32 Control theory Robot Motion Mathematical sciences Motion planning Cybernetics Index of robotics articles Dynamic programming Partially observable Markov decision process Stochastic control
648	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
649	New complexity results for time-constrained dynamical optimal path problems Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2010-02-01 11:59:55 Operations research Network flow Mathematical optimization Maximum flow problem Shortest path problem Optimal control Flow network Graph Dynamic programming Mathematics Graph theory Theoretical computer science
650	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory

UPDATE